1. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985